Let a and b be integers with b > 0. Then there exist unique integers q and r for which a = bq + r and

0 ≤ r < b.